Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
191	BOOKS ABOUT TABE COMPUTATION Cityhalllosangeles.com TABE COMPUTATION Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:52 Theoretical computer science Computability theory Adult education Tests of Adult Basic Education Computer science Theory of computation Computation
192	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Models of computation Theoretical computer science Multiset Order theory Membrane computing Set Natural computing Path ordering Associative containers Algorithm P system Big O notation
193	Computation in a Distributed Information Market 1 Joan Feigenbaum a,2 a Yale University,Department of Computer Science, New Haven, CT 06520 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-05-05 13:12:13 Market Financial markets Rational expectations Auction theory Economic equilibrium Economics Efficient-market hypothesis Futures contract Paul Milgrom Competitive equilibrium
194	Secure Multiparty Computation of Approximations∗ Joan Feigenbaum† Yuval Ishai‡ Martin J. Straussk Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2006-09-25 10:55:42 Quantum complexity theory Computational complexity theory Cryptography Functions and mappings Secure multi-party computation Secure two-party computation Communication complexity Limit of a function Pi Cryptographic protocol PP Approximation algorithm
195	RTGBeing Stubborn: Developing Optimal Solution Strategies for a Scheduling Problem Despite its NP-Hardness Dr. Oliver Sinnen Department of Electrical and Computer Engineering Add to Reading List Source URL: grk1855.tu-dortmund.de Language: English - Date: 2015-06-25 08:55:11 Computational complexity theory Theory of computation Combinatorial optimization Complexity classes Operations research Integer programming Heuristic Branch and bound NP Optimization problem Pruning Reduction
196	A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:40 Predicate logic Computability theory Recursion Logic Theory of computation Primitive recursive arithmetic Primitive recursive function Quantifier First-order logic Free variables and bound variables Herbrandization
197	Statistics 542 Spring 2016 Course Description: Bayesian Methods and Computation The goal of this course is to develop sophisticated tools for probability modeling and data analysis from the Bayesian perspective. Key topi Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2015-12-20 15:57:51 Statistics Statistical theory Statistical inference Statistical models Sampling techniques Statistical mechanics Stochastic simulation Bayesian network Bayesian inference Bayesian statistics Bayesian Monte Carlo method
198	Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 12:00:27 Computability theory Functions and mappings Recursion Theory of computation Proof theory Primitive recursive function Continuous function Elementary function arithmetic Arithmetic function
199	I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-06-30 01:30:45 Computability theory Theoretical computer science Mathematical logic Theory of computation Mathematics Model theory Algorithm characterizations operator
200	Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Theoretical computer science Mathematics Theory of computation Computability theory Models of computation Mathematical logic Formal methods Algorithm Turing machine Randomized algorithm IP Alan Turing

UPDATE